Electronic Books

Total Books: 161 - 171 /171
978-3-540-46236-1
Transactions on Computational Systems Biology VI

This issue of Transactions on Computational Systems Biology contains a fully-refereed selection of papers from the Fourth ...

Continue reading
978-3-540-48839-2
Transactions on Computational Systems Biology VII

This volume, the 7th in the Transactions on Computational Systems Biology series, contains a fully refereed and carefully ...

Continue reading
978-3-540-76639-1
Transactions on Computational Systems Biology VIII

The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the ...

Continue reading
978-3-540-31483-7
Trustworthy Global Computing

Constitutes the post-proceedings of the International Symposium on Trustworthy Global Computing. This book covers issues, ...

Continue reading
978-3-540-77426-6
Unfoldings : A Partial-Order Approach to Model Checking

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...

Continue reading
978-3-540-47813-3
Verification, Model Checking, and Abstract Interpretation

This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...

Continue reading
978-3-540-30579-8
Verification, Model Checking, and Abstract Interpretation (vol. # 3385)

The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...

Continue reading
978-3-540-31622-0
Verification, Model Checking, and Abstract Interpretation (vol. # 3855)

This volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, ...

Continue reading
978-3-540-69149-5
Verified Software: Theories, Tools, Experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

The book includes a general introduction to the area, which also presents the vision of a grand challenge project: the "verifying ...

Continue reading
978-3-540-38865-4
Web Services and Formal Methods

This volume contains the proceedings ofthe international workshop WS-FM(Web Services and Formal Methods) held at Vienna University ...

Continue reading
978-3-540-79230-7
Web Services and Formal Methods : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings

This book address the application of formal methods and reasoning techniques to Web service technology, and formal theories ...

Continue reading
Total Books: 161 - 171 /171